CANTOR AND THE BURALI-FORTI PARADOX Introduction
ثبت نشده
چکیده
In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 1895, and that he offered his solution to it in his famous 1899 letter to Dedekind.! This account, however, leaves it something of a mystery why Cantor never discussed the paradox in his writings. Far from regarding the foundations of set theory to be shaken, he showed no apparent concern over the paradox and its implications whatever. Against this account, I will argue here that in fact Cantor never saw any paradox at all, but that his conception of set at that time, and already as far back as 1883, was one in which the paradoxes cannot arise. 2 The main sources I will draw on are Cantor's great 1883 work Grundlagen einer .al1gemeinen Mannigfaltigkeitslehre3 and his "Mitteilungen zur Lehre vom Transfiniten. "4
منابع مشابه
An Historical Account of Set-theoretic Antinomies Caused by the Axiom of Abstraction
The beginnings of set theory date back to the late nineteenth century, to the work of Cantor on aggregates and trigonometric series, which culminated into his seminal work Contributions to the Founding of the Theory of Transfinite Numbers [2]. Although this work was published in 1895 and 1897, in two parts, the theory of sets had been established as an independent branch of mathematics as early...
متن کاملExtending Cantor’s Paradox a Critique of Infinity and Selfreference
This paper examines infinity and self-reference from a critique perspective. Starting from an extension of Cantor Paradox that suggests the inconsistency of the actual infinite, the paper makes a short review of the controversial history of infinity and suggests several indicators of its inconsistency. Semantic self-reference is also examined from the same critique perspective by comparing it w...
متن کاملCantor ’ s Proof in the Full Definable Universe
Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable...
متن کاملCantor’s Diagonal Argument: Proof and Paradox
€ ∉ impredicable. Now, letting ‘V’ denote the collection of all properties, impredicable can be defined as follows:
متن کاملHilbert ’ s Paradox ∗
In diesem Aufsatz wird erstmals die Hilbertsche Antinomie vollständig publiziert. David Hilbert hat sie während seiner Auseinandersetzungen mit der Cantorschen Mengenlehre gefunden. Seinen Angaben zufolge wurde Ernst Zermelo durch sie zu seiner Version der ZermeloRussellschen Antinomie angeregt. Es handelt sich um die Antinomie der Menge aller durch Addition (Vereinigung) und Selbstbelegung erz...
متن کامل